import time

n = int(input())

n = n // 1000  # 因为time模块的单位为秒数，而题目所给的为毫秒数，所以要将题目所给的时间转化为秒数
result = time.strftime('%Y-%m-%d %X', time.gmtime(n))
print(result[-8:])

#第一行代码从用户那里获取单个数字 n。下一行将该值存储在变量 n 中。
# 以下行使用 time 模块的 strftime（）方法将数字转换为表示给定值的日期和时间（在本例中为 n 的值）的格式字符串。
# 最后一行打印出格式字符串的最后 8 个字符，这将是时间组件 （HH：MM：SS）。